Worlds of Homogeneous Artifacts
نویسندگان
چکیده
منابع مشابه
Worlds of Homogeneous Artifacts
We present a formal first-order theory of artificial objects, i.e., objects made out of a finite number of parts and subject to assembling and dismantling processes. These processes are absolutely reversible. The theory is an extension of the theory of finite sets with urelements. The notions of transformation and identity are defined and studied on the assumption that the objects are homogeneo...
متن کاملBuilding Emotional Artifacts in Social Worlds: Challenges and Perspectives
This paper discusses ideas relative to the construction of emotional artifacts that have to interact in a social world, and in particular with humans. It first examines some of the ways in which emotions can enhance social interactions with artifacts, and some of the challenges posed to the designer. After considering the debate that opposes “shallow” versus “deep” modeling, it sketches some wa...
متن کاملAdrian Miroiu WORLDS WITHIN WORLDS
It is sometimes argued that possible worlds are too rich. Indeed, for every sentence φ and every world w, either φ is true at w, or ¬φ is true at w. Possible worlds leave nothing unsettled: for any question one may ask, there is always an answer, yes or no. My view goes along the opposite side. I take possible worlds to be incredibly poor, and I think that a good deal can be added to them. The ...
متن کاملCatheter related artifacts on bone scans: report of two cases
Bone scanning using the 99mTc-phosphate analogs is an established diagnostic modality and a commonly requested radioisotope examination for a variety of pathologies involving the skeleton, such as osteomyelitis, bony metastases, and occult fractures. The bone scan is one of the most commonly requested procedure in most nuclear medicine department. The images show areas of increased and de...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 1995
ISSN: 0029-4527
DOI: 10.1305/ndjfl/1040149360